Grothendieck's Galois theory